Dy*: A Modular Symbolic Verification Framework For Executable Cryptographic Protocol Code

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

F* PopUp Seminar

IEEE EuroS&P 2021 - DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Pr..

IEEE European Symposium on Security and Privacy

Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations

IEEE Symposium on Security and Privacy

2022 12 01, Jonathan Protzenko, Towards a Fully Verified Protocol Stack, from Cryptographic Primitiv

Verifpal Cryptographic Protocol Analysis for Students and Engineers

Verifiable Verification in Cryptographic Protocols (RWC 2024)

IACR

[PriSC'22] A CompCert backend with symbolic encryption

Josh Gancher: Owl - Compositional Verification of Security Protocols

CMU Cylab Crypto Seminar

Developing High-Performance Mechanically-Verified Cryptographic Code

IACR

USENIX Security '24 - D-Helix: A Generic Decompiler Testing Framework Using Symbolic Differentiation

Verified Software Toolchains: Fiat-Cryptography - Adam Chlipala

INI Seminar Room 2

Formally Verified Cryptographic Web Applications in WebAssembly

IEEE Symposium on Security and Privacy

Preview: Verification (Correctness)

USENIX Security '17 - Vale: Verifying High-Performance Cryptographic Assembly Code

The Generative AI Validation Framework

Formally Verified Cryptographic Web Applications in WebAssembly

IEEE Symposium on Security and Privacy

Cryptography and Verification with Cryptol

Compose Conference

Unable to decrypt this message - Kegan Dougal